1

Flang: A language for artificial intelligence

Year:
1993
Language:
english
File:
PDF, 1.19 MB
english, 1993
4

List Superstructures and Semantics of Iterators

Year:
2014
Language:
english
File:
PDF, 171 KB
english, 2014
12

M-calculus — a sequent method for automatic theorem proving

Year:
1993
Language:
english
File:
PDF, 496 KB
english, 1993